SAT Requires Exhaustive Search
link.springer.com·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
[P] Implementing Einsum
lyadalachanchu.github.io·1d
⚡SIMD Vectorization
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·9h
💻Local LLMs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·1d
⚙Backus-Naur Form
Politics and math, A Drama in Four Parts
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔐Soviet Cryptography
Extensions and Shadows (9)
sites.psu.edu·23h
✨Effect Handlers
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·23h
📝Concrete Syntax
Kernel-Based Sparse Additive Nonlinear Model Structure Detection through a Linearization Approach
arxiv.org·9h
🧠Machine Learning
Deriving Rope the Proper Way
nor-blog.pages.dev·4d·
Discuss: Hacker News
💎Information Crystallography
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
Efficient Chambolle-Pock based algorithms for Convoltional sparse representation
arxiv.org·9h
⧗Information Bottleneck
Honey Classification using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·12h·
Discuss: Hacker News
📊Citation Graphs
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·9h
🔐Systems Hardening
Graph Embedding in the Graph Fractional Fourier Transform Domain
arxiv.org·9h
📊Spectral Graphs
Constructive Disintegration and Conditional Modes
arxiv.org·1d
🏗️Constructive Logic
PGD-based local surrogate models via overlapping domain decomposition: a computational comparison
arxiv.org·9h
🌀Differential Geometry